vlc bug fixes